- verified proposition
- проверяемое суждение
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
Language, Truth, and Logic — is a work of philosophy by Alfred Jules Ayer, published in 1936 when Ayer was only 26 (though it was in fact completed by age 24). It was crucial in bringing some of the ideas of the Vienna Circle and the logical empiricists to the attention of… … Wikipedia
History of Physics — History of Physics † Catholic Encyclopedia ► History of Physics The subject will be treated under the following heads: I. A Glance at Ancient Physics; II. Science and Early Christian Scholars; III. A Glance at Arabian Physics; IV.… … Catholic encyclopedia
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
probability theory — Math., Statistics. the theory of analyzing and making statements concerning the probability of the occurrence of uncertain events. Cf. probability (def. 4). [1830 40] * * * Branch of mathematics that deals with analysis of random events.… … Universalium
The Real Presence of Christ in the Eucharist — The Real Presence of Christ in the Eucharist † Catholic Encyclopedia ► The Real Presence of Christ in the Eucharist In this article we shall consider: ♦ the fact of the Real Presence, which is, indeed, the central dogma; ♦ the … Catholic encyclopedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Bertrand Russell — Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE image caption = Russell in 1907 image size = 150px name = Bertrand Arthur William Russell, 3rd Earl Russell birth = birth date|df=yes|1872|5|18 Trellech … Wikipedia
Sin — • A moral evil Catholic Encyclopedia. Kevin Knight. 2006. Sin Sin † Catholic Encyclopedia ► … Catholic encyclopedia
James, William — American pragmatism James J.E.Tiles THE BERKELEY LECTURE Pragmatism was introduced to society in a lecture given by William James1 to the Philosophical Union at the University of California in Berkeley on 26 August 1898.2 In his lecture James… … History of philosophy
Prime number — Prime redirects here. For other uses, see Prime (disambiguation). A prime number (or a prime) is a natural number greater than 1 that has no positive divisors other than 1 and itself. A natural number greater than 1 that is not a prime number is… … Wikipedia